first-order logic中文是什么意思

• 希尔伯特系统
• 一阶逻辑
• 一阶谓词逻辑
• 一阶谓词演算

• "first"中文翻译    adj. 1.最初的，最早的。 2.最上等的，第一流的。 ...
• "order"中文翻译    n. 1.次序，顺序；整齐；(社会)秩序，治安；状况，常 ...
• "logic"中文翻译    n. 1.逻辑，理论学。 2.推理[方法]；逻辑性，条理 ...
• "first order logic" 中文翻译 :    一阶逻辑
• "first order predicate logic" 中文翻译 :    一阶谓词逻辑
• "first-order dynamic logic" 中文翻译 :    一阶动态逻辑
• "first-order logic expression" 中文翻译 :    一阶逻辑表达式
• "first-order modal logic" 中文翻译 :    一阶模态逻辑
• "first-order predicate logic" 中文翻译 :    一阶谓词逻辑
• "first-order temporal logic" 中文翻译 :    一组时态逻辑
• "the undecidability of first-order logic" 中文翻译 :    一阶逻辑的不可判定性
• "logic order" 中文翻译 :    逻辑指令
• "order logic" 中文翻译 :    阶逻辑
• "first order" 中文翻译 :    初指令, 一阶; 第一级次; 一阶；一级
• "first-order" 中文翻译 :    一阶
• "of the first order" 中文翻译 :    最高级的, 头等的
• "high order logic" 中文翻译 :    高阶逻辑
• "higher order logic" 中文翻译 :    高阶逻辑
• "higher-order logic" 中文翻译 :    高阶逻辑
• "highor-order logic" 中文翻译 :    高阶逻辑
• "n order logic" 中文翻译 :    n阶逻辑
• "second order logic" 中文翻译 :    二阶逻辑
• "second-order logic" 中文翻译 :    二阶逻辑
• "third order predicate logic" 中文翻译 :    三阶谓词逻辑
• "zeroth-order logic" 中文翻译 :    零阶逻辑

• An algebraic proof of completeness theorem of first - order logic
  一阶逻辑完备性定理的代数证明
• An axiomatics for first - order logic
  经典一阶逻辑的希尔伯特型系统
• First - order logic
  二阶逻辑
• First - order rule mining technique based on first - order logic is often called as inductive logic programming ( ilp )
  基于一阶逻辑的一阶规则挖掘技术常被称作归纳逻辑程序设计( ilp ) 。
• The aim we establish the logic frame bofl ( boolean operator fuzzy logic ) is to solve the innate limitation of the first - order logic
  布尔算子模糊逻辑(简称bofl )就是为了试图解决一阶逻辑的这些局限性而建立的逻辑框架。
• The familiar semantics for first - order logic is extensional in that it is involved in individual objects rather than in any property entities
  摘要熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。
• Firstly , a formal model of tpm is built using first - order logic language . then logic reasoning is made on the formal model
  首先,在论文中用一阶逻辑语言建立可信平台模块api的形式化模型,然后对建立的形式化模型进行逻辑推理分析。
• But besides being characterized by the extensional semantics , first - order logic can be characterized soundly and completely by such an intensional semantics that includes nothing but the property entities
  相对于这一外延语义，一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。
• Then a simple e - dealing system is devised to show the thoughts of the protocol . in order to formalize and verify the protocol , bzl logic model is built , which based on first - order logic and introduces many - sorted , dynamic and non - monotony logic
  为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了bzl逻辑模型。
• In the end the thesis compares its work to relative work . and draw a few advantages as follow : firstly , the paramodulation in bofl is more concise and nature . its form is unified with the paramodulation in first - order logic
  最后，我们把本文的工作与相关工作进行比较，得到如下几点优于现有算子模糊逻辑中的调解方法的结论：首先， bofl中的调解十分简洁自然，在形式上与一阶逻辑中的调解法是统一的。

• first-order logic meaning
• first-order logic en francais
• first-order logic artinya
• first-order logic 뜻
• first-order logic перевод